Results for 'Institute of Applied Logic'

1000+ found
Order:
  1. The Interpretation of Two Systems of Modal Logic.A. N. Prior & Institute of Applied Logic - 1954 - Institute of Applied Logic.
  2.  10
    Logic and Combinatorics: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held August 4-10, 1985.Stephen G. Simpson, American Mathematical Society, Institute of Mathematical Statistics & Society for Industrial and Applied Mathematics - 1987 - American Mathematical Soc..
    In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Actes.Raymond Bayer & International Institute of Philosophy - 1951 - Hermann.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  6
    Norms, Values, and Society.Herlinde Pauer-Studer & Institut Wiener Kreis - 1994 - Springer Verlag.
    Norms, Values, and Society is the second Yearbook of the Vienna Circle Institute, which was founded in October 1991. The main part of the book contains original contributions to an international symposium the Institute held in October 1993 on ethics and social philosophy. The papers deal among others with questions of justice, equality, just social institutions, human rights, the connections between rationality and morality and the methodological problems of applied ethics. The Documentation section contains previously unpublished papers (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. Proceedings of the Eighth Amsterdam Colloquium: December 17-20, 1991.P. Dekker, M. Stokhof, Language Institute for Logic & Computation - 1992 - Illc, University of Amsterdam.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  6.  29
    Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 , pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 , pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 , pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 , pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 , pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by t. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Logicheskiĭ analiz i︠a︡zyka: Protevorechivostʹ i anomalʹnostʹ teksta = Logical analysis of language: contradictions and anomalies of discourse.Nina Davidovna Arutiunova & Institut Iazykoznaniia Sssr) (eds.) - 1990 - Moskva: Nauka.
  8. Problems of the logic of scientific knowledge.P. V. Institut Filosofii Sssr), Problemy Logiki Nauchnogo Poznaniia & Tavanets (eds.) - 1970 - Dordrecht,: D. Reidel.
     
    Export citation  
     
    Bookmark  
  9.  10
    Transformation of the Institution of Social Responsibility in the Conditions of Globalization.Dzhamilya M. Turgunbaeva, Guldana S. Tokoeva & Rakhat D. Stamova - 2023 - Dialogue and Universalism 33 (3):9-27.
    The purpose of this study is a philosophical analysis of the phenomenon of social responsibility and the peculiarities of the process of its transformation, which took place in the context of globalization. The objective of the study is to determine the nature of the impact of the globalization process on the transformation of the institution of responsibility. In the course of the research, systematic, formal-logical and historical methods of scientific cognition were used. A civilizational approach was also applied, in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Institutional Logics in the Study of Organizations: The Social Construction of the Relationship between Corporate Social and Financial Performance.Marc Orlitzky - 2011 - Business Ethics Quarterly 21 (3):409-444.
    ABSTRACT:This study examines whether the empirical evidence on the relationship between corporate social performance (CSP) and corporate financial performance (CFP) differs depending on the publication outlet in which that evidence appears. This moderator meta-analysis, based on a total sample size of 33,878 observations, suggests that published CSP-CFP findings have been shaped by differences in institutional logics in different subdisciplines of organization studies. In economics, finance, and accounting journals, the average correlations were only about half the magnitude of the findings published (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  11.  12
    Okada S.. Topology applied to switching circuits. Proceedings of the Symposium on Information Networks, sponsored by the Polytechnic Institute of Brooklyn Microwave Research Institute, in cooperation with the Institute of Radio Engineers Professional Group on Circuit Theory, and co-sponsored by the Office of Naval Research, the Office of Scientific Research of the Signal Corps, New York, N.Y., April 12, 13, 14, 1954, New York 1955, pp. 267–290. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):210-211.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Storage Operators and Second Order Lambda-Calculs.J. -L. Krivine Classical Logic - 1994 - Annals of Pure and Applied Logic 68:53-78.
  13.  18
    Varieties of Transformational Solutions to Institutional Ethics Logic Conflicts.Richard P. Nielsen & Christi Lockwood - 2018 - Journal of Business Ethics 149 (1):45-55.
    It is well established within the ethics and institutional theory literatures that institutions can have conflicting logics with ethical dimensions and that there are solutions to the conflicts. Within institutional, ethics, and change leadership theory, quantitative, mixture solutions such as distributive solutions have been frequently considered. The ethics, institutional, and change leadership theory literatures have recognized that there are qualitative transformational solutions that are different than quantitative mixture solutions. However and for the most part, with the notable exception of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Logic and foundations of science.Jean-Louis Destouches, Evert Willem Beth & Institut Henri Poincaré (eds.) - 1968 - Dordrecht,: D. Reidel.
  15.  22
    Journal of Applied Logic Special Volume on Neural-Symbolic Systems.Artur D'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler & John G. Taylor - 2004 - Journal of Applied Logic 2 (3):241-243.
  16.  28
    Legal Interpretation of Polish Tax Law Based on the Institution of Remuneration of Excess Payment – Selected Issues.Mariusz Popławski - 2013 - Studies in Logic, Grammar and Rhetoric 33 (1):39-49.
    In order to achieve a desired effect of tax legal interpretation, its linguistic mechanisms are frequently insufficient. Elements of paralinguistic interpretation are more and more often indispensable. It applies inter alia when domestic tax law regulations must be verified in the light of the EU tax law. However, the study depict interpretative problems regarding the institution of remuneration of excess payments, which is regulated in Polish tax law. Considerations presented in this article confirm that legal interpretation of tax law is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning.Marc Aiguier & Isabelle Bloch - 2019 - Journal of Applied Non-Classical Logics 29 (4):392-429.
    Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  40
    An Institutional Duty to Vote: Applying Role Morality in Representative Democracy.Kevin J. Elliott - forthcoming - Political Theory.
    Is voting a duty of democratic citizenship? This article advances a new argument for the existence of a duty to vote. It argues that every normative account of electoral representation requires universal turnout to function in line with its own internal normative logic. This generates a special obligation for citizens to vote in electoral representative contexts as a function of the role morality of democratic citizenship. Because voting uniquely authorizes office holding in representative democracies, and because universal turnout contributes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Principles of applied logic.Edith Watson Schipper - 1956 - Dubuque,: W.C. Brown Co.. Edited by Schuh, Edward & [From Old Catalog].
     
    Export citation  
     
    Bookmark  
  20.  7
    Determinants and Controls of Scientific Development.K. Knorr-Cetina, Hermann Strasser, Hans-Georg Zilian & Institut fur Hohere Studien und Wissenschaftliche Forschung - 1975 - Taylor & Francis.
    This book constitutes the outcome of an international conference held at the Otto-Mobes-Volkswirtschaftsschule, Graz-Stifting( Austria), from June 16 to 22, 1974. The conference was initiated by a project group working on determinants and controls of social science development at the In stitute for Advanced Studies and Scientific Research in Vienna and or ganized by the editors of this volume. It was held under the auspices of the Austrian Ministry of Science and Research. The main topics of the conference were those (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  2
    Philosophy in the age of applied logic.Ioan Biriş - 2017 - Iași: Institutul European.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  20
    Philosophy and the Natural Environment.Royal Institute of Philosophy Annual Conference & Royal Institute of Philosophy - 1994 - Cambridge University Press.
    Leading international environmental philosophers further the debate about the environment and the metaphysical, ethical, social and international implications.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  27
    From Institutions to Persons?: Rawls and the Subject of Justice.Renante D. Pilapil - 2018 - Journal of Human Values 24 (3):166-173.
    This article examines two potential Rawlsian arguments, namely the moral dualism argument and the educative effect of institutions argument as regards the extension of the primary subject of justice to personal conduct. The article makes two claims. First, while moral dualism is a logical step to make, it suffers from a potential conflict between the principles that apply to institutions and those that govern personal conduct. Second, despite the attractive features of the educative effect of institutions argument, an explanative gap (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  46
    Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 , pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 , pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 , pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin. [REVIEW]Aleš Drápal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Governance and Accountability: Power and Responsibility in the Public Service.Richard Institute of Public Administration, T. F. Boyle & Mcnamara - 1998
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Entretiens Sur Philosophie Et Histoire Actes du Congrès de Santa Margherita Ligure Et Gênes.Evandro Agazzi, International Institute of Philosophy, Accademia Ligure di Scienze E. Lettere & Università di Genova - 1990 - Accademia Ligure di Scienze E Lettere.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  5
    National Institutes of Health Guidelines on Human Stem Cell Research.National Institutes Of Health - 2010 - Jahrbuch für Wissenschaft Und Ethik 15 (1):475-484.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  13
    Nonclassical Logics and Their Applications: Post-Proceedings of the 8th International Workshop on Logic and Cognition.Shier Ju, Alessandra Palmigiano & Minghui Ma (eds.) - 2020 - Singapore: Springer.
    This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. 1 NATO Science Committee Fakultat fiir Informatik, Technische Universitgt Mijnchen.M. Wirsing, Jp Jouannoud, A. Scedrov & Bounded Linear Logic - 1993 - Annals of Pure and Applied Logic 60:89.
     
    Export citation  
     
    Bookmark  
  30.  3
    A Treatise on Logic, or, the Laws of Pure Thought: Comprising Both the Aristotelic and Hamiltonian Analyses of Logical Forms, and Some Chapters of Applied Logic.Francis Bowen - 1864 - Cambridge, MA, USA: Sever & Francis.
  31. Corporate Governance and the Ethics of Narcissus.J. Roberts & Judge Institute of Management Studies - 2000 - Judge Institute of Management Studies.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  74
    MNC Strategic Responses to Ethical Pressure: An Institutional Logic Perspective.Justin Tan & Liang Wang - 2011 - Journal of Business Ethics 98 (3):373-390.
    In this study, we aim to investigate how multinational corporations (MNCs) balance ethical pressures from both the home and host countries. Drawing on theories from institutional theory, international business, and business ethics, we build a theoretical framework to explain the ethical behavior of MNCs. We apply the institutional logic concept to examine how MNCs with established logics and principles that have grown in the home country respond to local ethical expectations in the host country. We differentiate the core values (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  33.  4
    Negotiating Educational Choices in Uncertain Transnational Space: South Asian Diaspora in the United Arab Emirates.Ucl Institute Of Education Lee Rensimer - 2021 - British Journal of Educational Studies 69 (5):599-620.
    Transnational higher education (TNHE) has been characterised as a crude form of market-driven internationalisation, often targeting immobile student populations in countries with high demand for international academic degrees. In response to recent scholarship on the role of higher education internationalisation in facilitating and producing diasporic networks, this study examines its inverse: how TNHE services existing diasporic communities in situ by mobilising institutions across borders rather than student bodies. It specifically examines these dynamics within the United Arab Emirates (UAE), simultaneously host (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. The rise of logical empiricist philosophy of science and the fate of speculative philosophy of science.Joel Katzav & Krist Vaesen - 2022 - Hopos: The Journal of the International Society for the History of Philosophy of Science 12 (2):000-000.
    This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative metaphysics, normative issues relating (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  14
    Thomism: The Philosophy of Thomas Aquinas.Etienne Gilson & Pontifical Institute of Mediaeval Studies - 2002 - PIMS.
  36.  8
    De ortu scientiarum.Robert Kilwardby & Pontifical Institute of Mediaeval Studies - 1976 - [London]: British Academy. Edited by Albert G. Judy.
    The editio princeps of the first Medieval introduction to philosophy that makes use of the full range of Aristotle's writings.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  63
    THE INSTITUTIONAL and PERSONAL NEED for PHILOSOPHY.Ulrich De Balbian - 2017 - Oxford: Academic Publishers.
    She has always existed and is more than a citizen of multiverses,‭ ‬most likely the ground of all.‭ ‬In the West she was introduced around C.570‭ ‬and since then many individuals have searched for her,‭ ‬tried to become familiar with her and created all sorts of,‭ ‬frequently ridiculous,‭ ‬things in her name. Once someone has a passion for her it cannot be extinguished but increases.‭ ‬Objectively this need for her is referred to as‭ ‘‬love of wisdom‭’‬,‭ ‬the need for wisdom,‭ (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. “What Good is Wall Street?” Institutional Contradiction and the Diffusion of the Stigma over the Finance Industry.Thomas Roulet - 2015 - Journal of Business Ethics 130 (2):389-402.
    The concept of organizational stigma has received significant attention in recent years. The theoretical literature suggests that for a stigma to emerge over a category of organizations, a “critical mass” of actors sharing the same beliefs should be reached. Scholars have yet to empirically examine the techniques used to diffuse this negative judgment. This study is aimed at bridging this gap by investigating Goffman’s notion of “stigma-theory”: how do stigmatizing actors rationalize and emotionalize their beliefs to convince their audience? We (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  39.  16
    The Concept of God: Special Issue of the Journal of Applied Logics.Ricardo Silvestre (ed.) - 2019 - Londres, Reino Unido: College Publications.
    This special issue of the Journal of Applied Logics deals with the logical aspects of the concept of God. It contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. The Kabbalah and Spinoza's philosophy as a basis for an idea of universal history.Harry Waton & Spinoza Institute of America - 1931 - New York,: Spinoza Institute of America.
    v. 1. The philosophy of the Kabbalah.--v. 2. The philosophy of Spinoza.
     
    Export citation  
     
    Bookmark  
  41.  5
    Accrediting Programs to Protect Participants in Human Research: The IOM ReportPreserving Public Trust: Accreditation and Human Research Protection Programs.Larry D. Scott & Institute of Medicine - 2001 - IRB: Ethics & Human Research 23 (5):13.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    New home for OPRR.National Institutes of Health Panel - 1999 - Kennedy Institute of Ethics Journal 9 (3):285-287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. The Necessity for Determinism a Metaphysical Problem Confronting Geographers.A. F. Martin & Institute of British Geographers - 1951 - Institute of British Geographers.
     
    Export citation  
     
    Bookmark  
  44.  21
    On the dynamics of institutional agreements.Andreas Herzig, Tiago Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321-355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\rm A}_{G:x} \varphi$$\end{document} reading ‘if the agents in the set of agents G identify themselves with institution x then they together accept that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varphi}$$\end{document} ’. We extend acceptance logic by two kinds of dynamic (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Mélanges offerts à Etienne Gilson, de l'Académie française.Etienne Pontifical Institute of Mediaeval Studies & Gilson (eds.) - 1959 - Paris,: Librarie philosophique J. Vrin.
    No categories
     
    Export citation  
     
    Bookmark  
  46. St. Thomas Aquinas, 1274-1974 Commemorative Studies. Thomas & Pontifical Institute of Mediaeval Studies - 1974 - Pontifical Institute of Mediaeval Studies.
     
    Export citation  
     
    Bookmark  
  47. Contemporary Philosophy a Survey = la Philosophie Contemporaine : Chroniques.Raymond Klibansky & International Institute of Philosophy - 1968 - La Nuova Italia.
     
    Export citation  
     
    Bookmark  
  48. La Philosophie Médiévale.Raymond Klibansky, International Institute of Philosophy & Montréal - 1962 - M. Casalini.
  49. On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  6
    The Tendency of Terrorist Organizations to Explosive Attacks: An Institutional Theory Perspective.Lanjun Luo & Chao Qi - 2022 - Frontiers in Psychology 13.
    Focusing on the tendency of terrorist organizations to explosive attack, this article applied the institutional theory as the basis to explain the inherent logic of attack type similarity from the perspective of mimetic, coercive, and normative isomorphism. Subsequently, the study conducted an empirical analysis of the data onto 1825 terrorist organizations recorded in the Global Terrorism Database with the logistic regression method. The results show that: Terrorist organizations will learn from pre-existing terrorist organizations' experiences, and mimetic isomorphism will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000